| Model: | embedded v.1 (CTMC) |
| Parameter(s) | MAX_COUNT = 8, T = 12 |
| Property: | actuators (prob-reach) |
./pet.sh reachability --precision 0.000001 --relative-error --only-result -m embedded.prism -p embedded.props --property actuators --const MAX_COUNT=8,T=12
| Walltime: | 41.34941029548645s |
| Return code: | 0 |
| Relative Error: | 4.416453679350139e-07 |
0.1053037023